DDAYSEl Escorial, 23 de noviembre, 2008
'Deducción automática en geometría a través del cálculo simbólico'
Tomas Recio
Universidad de Cantabria
tomas.recio@unican.es
www.recio.tk
Resumen
Veinte años... no es nada!
La vida es bella...
.... sólo a veces
... con GDI
Por qué?